Knowledge Representation in Probabilistic Spatio-Temporal Knowledge Bases
نویسندگان
چکیده
منابع مشابه
Knowledge Representation in Probabilistic Spatio-Temporal Knowledge Bases
We represent knowledge as integrity constraints in a formalization of probabilistic spatiotemporal knowledge bases. We start by defining the syntax and semantics of a formalization called PST knowledge bases. This definition generalizes an earlier version, called SPOT, which is a declarative framework for the representation and processing of probabilistic spatio-temporal data where probability ...
متن کاملProbabilistic Knowledge Bases
We deene a new xpoint semantics for rule-based reasoning in the presence of imprecise information. We rst demonstrate the need to have such a rule-based semantics by showing a real-world application requiring such reasoning. We then deene this semantics. Optimizations and approximations of the semantics are shown so as to make the semantics amenable to very large scale real-world applications. ...
متن کاملTowards Probabilistic Knowledge Bases
We deene a new xpoint semantics for rule-based reasoning in the presence of vague or imprecise information. Such a semantics should fullll two requirements. First, it must coincide with the intuitive understanding of the given information, and second, the semantics must be computationally tractable. We show that our semantics fulllls the rst requirement and we formally verify that our xpoint se...
متن کاملApplying Markov Logic for Debugging Probabilistic Temporal Knowledge Bases
A probabilistic temporal knowledge base contains facts that are annotated with a time interval and a confidence score. The interval defines the time span for which it can be assumed that the fact is true with a probability that is expressed by the confidence score. Given a probabilistic temporal knowledge base, we propose the use of Markov Logic in combination with Allen’s interval calculus to ...
متن کاملIdentity-based change: a foundation for spatio-temporal knowledge representation
As efforts grow to develop spatio-temporal database systems and temporal geographic information systems that are capable of conveying how geographic phenomena change, it is important to distinguish the elements that are fundamental to scenarios of change. This paper presents a model based on the explicit description of change with respect to states of existence and non-existence for identifiabl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2016
ISSN: 1076-9757
DOI: 10.1613/jair.4883